improve feedback from documentation generation workflow
authorJyrki Gadinger <nilsding@nilsding.org>
Fri, 10 Jan 2025 09:57:12 +0000 (10:57 +0100)
committerJyrki Gadinger <nilsding@nilsding.org>
Fri, 10 Jan 2025 09:57:12 +0000 (10:57 +0100)
commitd12b51c116ba8f0b2b3f291cfac71d3f842c7efa
treeba18d732512c37252c46e8327b180c5776d160ee
parent745b34ce4e74c01a7830d0bcbce8909a73d25940
improve feedback from documentation generation workflow

see also: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/workflow-commands-for-github-actions#setting-a-warning-message

Signed-off-by: Jyrki Gadinger <nilsding@nilsding.org>
.github/workflows/documentation.yml